1. A Decade of Concurrency Reflections and Perspectives :
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
2. Autonomous Systems :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)
رده :
Q334
.
A98
2008
3. Compiler Technology
پدیدآورنده : by Derek Beng Kee Kiong.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
4. Contracts, Scenarios and Prototypes :
پدیدآورنده : by Reinhold Plösch.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
5. Cooperating Heterogeneous Systems
پدیدآورنده : by David G. Schwartz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
6. DIANA An Intermediate Language for Ada
پدیدآورنده : edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
7. Data structures and algorithms using Python
پدیدآورنده : / Rance D. Necaise
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Python (Computer program language),Algorithms,Data structures (Computer science),COMPUTERS / Software Development & Engineering / General, bisacsh
رده :
QA76
.
73
.
P98
,
N43
2011
8. Data structures and algorithms using Python
پدیدآورنده : Necaise, Rance D., Rance D. Necaise
موضوع : ، Python )Computer program language(,، Algorithms,، Data structures )Computer science(,، COMPUTERS / Software Development & Engineering / General
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Debugging by thinking :
پدیدآورنده : Robert Charles Metzger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Debugging in computer science.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Debugging in computer science.
رده :
QA76
.
9
.
D43
M48
2004b
10. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
11. Design problems, frames and innovative solutions /
پدیدآورنده : Martin Dž̆bor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering design.,Software engineering.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Engineering design.,Software engineering.
رده :
QA76
.
758
.
D97
2009
12. Die 32-Bit-Expedition:
پدیدآورنده : von Thomas Lauer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
76
.
O63
V668
1993
13. Die Schnittstellen von UNIX-Programmen :
پدیدآورنده : von Reinhard Fößmeier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
8
.
U65
V667
1991
14. Die X/Motif Umgebung :
پدیدآورنده : von Robert Barton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
TK7874
.
6
V667
1994
15. Echtzeitaspekte bei der Koordinierung Autonomer Systeme
پدیدآورنده : Peter Holleczek, Birgit Vogel-Heuser (Hrsg.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks.,Computer science.,Operating systems (Computers),Software engineering.
16. Engineering and scientific application programs available from non-IBM sources
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Engineering--Software--Catalogs,Science--Software--Catalogs,IBM computers--Programming,Computer software--Catalogs
رده :
TA
،
345
،.
E53
،
1983
17. Euro-Par 2011 Parallel Processing
پدیدآورنده : edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
18. Exploring the Raspberry Pi 2 with C++
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Operating systems (Computers),Software engineering.,Computer Science.,Operating Systems.,Software Engineering.
رده :
QA76
.
758
19. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
20. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
